Symmetry in information flow
نویسندگان
چکیده
The article investigates information flow properties of symmetric multi-party protocols. It gives a sound and complete axiomatic system for properties of the functional dependence predicate that are common to all protocols with the same group of symmetries.
منابع مشابه
Deformation flow analysis and symmetry of Goushti shear zone, Sanandaj-Sirjan metamorphic belt, Iran
Finite strain and vorticity analyses were carried out in the deformed conglomerate and micro-conglomerate of Goushti shear zone in the Sanandaj-Sirjan metamorphic belt (Zagros Mountains Iran). These deformed rocks are bounded between two NE and SW major thrust faults. Finite strain measurements on three principal planes of strain ellipsoid show the higher amounts of strain ratios near the major...
متن کاملNumerical Simulation of Free Surface Flows and Comparison of Symmetry and Real Boundary Conditions at the Free Surface
For implementation
 of the free surface boundary condition, a new subroutine has been introduced to an existing steady 3-D body fitted code. This code was previously written for steady flow simulation in closed ducts. The algorithm used in this subroutine reduces the instability problem according to the free surface wave generation. For code validation, it was applied to two different open c...
متن کاملNumerical Simulation of Free Surface Flows and Comparison of Symmetry and Real Boundary Conditions at the Free Surface
For implementation of the free surface boundary condition, a new subroutine has been introduced to an existing steady 3-D body fitted code. This code was previously written for steady flow simulation in closed ducts. The algorithm used in this subroutine reduces the instability problem according to the free surface wave generation. For code validation, it was applied to two different open cha...
متن کاملپارامتر نظم ابررسانایی در فلز CeIrIn5
To understand the mechanism of superconductivity in unconventional super onductors is one of the big challenges in the field of superconductivity. Based on the BCS theory, there is a direct relation between the pairing mechanism and the symmetry of the order parameter. Therefore, identification of the structure of the superconducting gap or the order parameter provides key information on the pa...
متن کاملDufour and Soret Effects on Unsteady Heat and Mass Transfer for Powell-Eyring Fluid Flow over an Expanding Permeable Sheet
In the present analysis, the Dufour and Soret effects on unsteady heat-mass transfer of a viscous incompressible Powell-Eyring fluids flow past an expanding/shrinking permeable sheet are reported. The fluid boundary layer develops over the variable sheet with suction/injection to the non-uniform free stream velocity. Under the symmetry group of transformations, the governing equations along wit...
متن کاملDoes Disclosure Lead to Lower Informed Trading and Symmetric Order-follow Shocks in the Tehran Stock Exchange?
In financial markets, the symmetry of information and the homogeneous interpretation of information among traders is one of the main conditions for market efficiency, but these conditions are in fact violated. In this paper first; we accurately estimated the dynamic measures of trades stemming from information asymmetry and diverse opinions among investors indices by a hidden Markov model. Ther...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 165 شماره
صفحات -
تاریخ انتشار 2014